Game_Interpreter.prototype.videoFileExt = function (name) {
  return ".webm";
};
